(+ (read) (- (+ 5 3)))
